Abstract State Machines: An Overview of the Project

A short overview of the electrical machines control based on Flatness-technique

Optimal linear controllers and high computational non-linear controllers are normally applied to control the nonlinear systems. Flatness control method is a control technique for linear systems as well as nonlinear systems by static and dynamic feedback namely as endogenous dynamic feedback. This method takes into account the non-linear behavior of the process while preventing complicated compu...

Editorial : Sustainable Development of Cognitive Science and Technology Ecosystem an Overview to the “Human Brain Project” as a Functioning Sample

A Concrete Syntax Derived From the Abstract State Machine Metamodel

In this paper we present a language for Abstract State Machine specifications. The ASM metamodel (AsmM), introduced in [18], is a MOF-compliant metamodel representing in an abstract and visual way the concepts and constructs of the ASMs formalism as described in [3]. Here we present a concrete syntax (AsmM-CS), an EBNF (extended Backus-Naur Form) grammar derived from the AsmM as a textual notat...

An Overview of the Civil Liability of the Modern State (Concept, Resources, Foundations)

Modern state is conceptually and subjectively complicated as per the wide range of concepts and subjects related to it, therefore the context is provided to present the viewpoints on its identity and nature. Based on this, human sciences Scientifics investigate it from different perspectives. Complexity of the nature of modern State, arises the various theories around it, despite bring serious ...

Tools for System Validation with B Abstract Machines

In this paper we give an overview of some tools that we have developed to support the application of the B Method. ProB is an animation and model checking tool for the B method. ProB’s animation facilities allow users to gain confidence in their specifications. ProB contains a temporal and a state-based model checker, both of which can be used to detect various errors in B specifications. We al...